1. Banach Space Theory : the Basis for Linear and Nonlinear Analysis
Author: Marian Fabiaan ; Petr Habala ; Petr Hajek ; Vicente Montesinos ; Vaclav Zizler
Library: Vali Asr University Central Library (Kerman)
Subject: Banach Spaces
Classification :
QA
322
.
2
.
B3
2011
2. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1L44
Vol
.
6
3. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
G6
1996
4. Lecture Notes in Logic6
Author: / Petr Hajek
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject:
5. Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
Author: edited by Samuel R. Buss, Petr Hajek, Pavel Pudlak
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
9
.
A1L44
Vol
.
13
6. Metamathematics of Fuzzy Logic
Author: by Petr Hájek.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
7. Metamathematics of first-order arithmetic
Author: Hajek, Petr
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Arithmetic -- Foundations
Classification :
QA
248
.
H24M4
8. Metamathematics of first-order arithmetic
Author: Hajek, Petr.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Arithmetic-- Foundations
Classification :
QA
248
.
H23
1993
9. Metamathematics of first-order arithmetic
Author: Hajek, Petr.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Arithmetic - Foundations
Classification :
QA
248
.
H23
1993
10. Metamathematics of first-order arithmetic
Author: Petr Hájek, Pavel Pudlák.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
11. Metamathematics of fuzzy logic
پدیدآورنده : Petr Hajek
موضوع : Fuzzy logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Metamathematics of fuzzy logic
Author: Hajek, Petr.
Library: Central Library and Documentation Center (Semnan)
Subject: ، Fuzzy logic
Classification :
QA
9
.
64
.
H34
1998
13. The theory of semisets
Author: Vopeenka, Petr., ]By[ Petr Vopeenka and Petr Hajek
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Set theory
Classification :
QA
248
.
V68
14. The theory of semisets
Author: / Peter Vopenka, Petr Hajek
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Set theory
Classification :
511
.
3
V952
